-
Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
symbolaris.com - 2009-04-14
-
Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
www.phlogic.com - 2009-02-12
|
education
mp3
shareware
audiobooks
mp3s
java
mp3 music
numerical
audio book
audiobook
learning
freeware
engineering
mp3 downloads
mathematics
object-oriented programming
control
math
oop
software
analysis
|
|